Nuprl Lemma : not_over_or_a
9,38
postcript
pdf
A
,
B
:
. (
(
A
B
))
{(
A
)
(
B
)}
latex
ProofTree
Definitions
{
T
}
Lemmas
not
over
or
origin
A,B:
. (
(A 
B)) 
{(A) 
(B)}
A,B:. ((A B)) {(A) (B)}